#select#\renewcommand{proofname}{#selstart#Proof#selend#}
